turing machine complement 2